The study of the theory of operators over modal pseudocomplemented De Morgan algebras was begun in papers [20] and [21]. In this paper, we introduce and study the class of modal pseudocomplemented De Morgan algebras enriched by a k-periodic automorphism -algebras). We denote by \ the automorphism where k is a positive integer. For \, the class coincides with the one studied in [20] where the automorphism works as a new unary operator which can be considered as a negation. In (...) the first place, we develop an algebraic study of the class of \-algebras; as consequence, we prove the class \-algebras is a semisimple variety and determine the generating algebras. After doing the algebraic study and using these properties, we built two families of sentential logics that we denote with \ and \ for every k. \ is a 1-assertional logic and \ is the degree-preserving logic both associated with the class of \-algebras. Working over these logics, we prove that \ is paraconsistent with respect to the de Morgan negation \, which is protoalgebraic and finitely equivalential but not algebraizable. In contrast, we prove that \ is algebraizable, sharing the same theorems with \, but not paraconsistent with respect to \. Furthermore, we show that \ and \ are paracomplete logics with respect to \ and \ and paraconsistent logics with respecto to \, for every k. (shrink)

Philosophical personalism has generated a very powerful field of study in the twentieth and twenty first centuries but has not produced a systematic exposition. This book fills this big gap by offering for the first time a full systematic personalistic vision of the human person. This ambitious volume offers a pedagogical and integrated exposition of philosophical personalism, answering vital questions about human identity and existence in a way that the reader can achieve an integrated view of the person. The book (...) points to the real life of each person so that, by partially unraveling the mystery of the personal being, it becomes a philosophical guide for life. For these reasons, the book can be used both for academic purposes, as a manual of philosophy of man or for personal enlightenment. Divided in five parts, the first part of the book works as an introduction, offering an overview of the human person and of the notion of person. The second part describes the internal structure of the human being addressing topics as corporeity as a personal fact; sensibility and the senses; affectivity; intelligence; freedom understood as choice and self-determination and, finally, the personal self. The third part analyses the person in action and some special types of action such as work and language. The fourth part deals with interpersonal relationships beginning with I-You relationship and following with the family and the social structure. Finally, part five deals with the so-called ultimate questions, that is, those that decide the final meaning of each person's life, namely, time, death, immortality, and religion. (shrink)

Techniques from artificial intelligence (AI) can be used in forensic evidence evaluation and are currently applied in biometric fields. However, it is generally not possible to fully understand how and why these algorithms reach their conclusions. Whether and how we should include such ‘black box’ algorithms in this crucial part of the criminal law system is an open question that has not only scientific but also ethical, legal, and philosophical angles. Ideally, the question should be debated by people with diverse (...) backgrounds. Here, we present a view on the question from the philosophy of science angle: computational reliabilism (CR). CR posits that we are justified in believing the output of an AI system, if we have grounds for believing its reliability. Under CR, these grounds are classified into ‘reliability indicators’ of three types: technical, scientific, and societal. This framework enables debates on the suitability of AI methods for forensic evidence evaluation that take a wider view than explainability and validation. We argue that we are justified in believing the AI’s output for forensic comparison of voices and forensic comparison of faces. Technical indicators include the validation of the AI algorithm in itself, validation of its application in the forensic setting, and case-based validation. Scientific indicators include the simple notion that we know faces and voices contain identifying information along with operationalizing well-established metrics and forensic practices. Societal indicators are the emerging scientific consensus on the use of these methods, as well as their application and interpretation by well-educated and certified practitioners. We expect expert witnesses to rely more on technical indicators to be justified in believing AIsystems, and triers-of-fact to rely more on societal indicators to believe the expert witness supported by the AIsystem. (shrink)

The use of black box algorithms in medicine has raised scholarly concerns due to their opaqueness and lack of trustworthiness. Concerns about potential bias, accountability and responsibility, patient autonomy and compromised trust transpire with black box algorithms. These worries connect epistemic concerns with normative issues. In this paper, we outline that black box algorithms are less problematic for epistemic reasons than many scholars seem to believe. By outlining that more transparency in algorithms is not always necessary, and by explaining that (...) computational processes are indeed methodologically opaque to humans, we argue that the reliability of algorithms provides reasons for trusting the outcomes of medical artificial intelligence. To this end, we explain how computational reliabilism, which does not require transparency and supports the reliability of algorithms, justifies the belief that results of medical AI are to be trusted. We also argue that several ethical concerns remain with black box algorithms, even when the results are trustworthy. Having justified knowledge from reliable indicators is, therefore, necessary but not sufficient for normatively justifying physicians to act. This means that deliberation about the results of reliable algorithms is required to find out what is a desirable action. Thus understood, we argue that such challenges should not dismiss the use of black box algorithms altogether but should inform the way in which these algorithms are designed and implemented. When physicians are trained to acquire the necessary skills and expertise, and collaborate with medical informatics and data scientists, black box algorithms can contribute to improving medical care. (shrink)

El artículo analiza el problema de los mundos humanos a partir del concepto de mundo circundante que J. von Uexküll plantea para pensar la existencia animal. En este sentido, introduce dicho concepto biológico y sus implicancias, reconstruye las interpretaciones y críticas que se le formulan en la antropología filosófica alemana de principios del siglo XX, y defiende la idea según la cual, desde un horizonte arqueológico, habría una oposición correlativa entre el Umwelt biológico y las ideas filosóficas de mundo humano (...) previamente tematizadas. (shrink)

The traditional Square of Opposition consists of four sentence types. Two are universal and two particular; two are affirmative and two negative. Examples, where ‘S’ and ‘P’ designate the subject and the predicate, are: ‘every S is P’, ‘no S is P’, ‘some S is P’ and ‘some S is not P’. Taking the usual sentences of the square of opposition, quantifying over their predicates exhibits non-standard sentence forms. These sentences may be combined into non-standard Squares of Opposition , and (...) they reveal a new relationship not found in the usual Square. Medieval logicians termed ‘disparatae’ pairs of sentences like ‘every S is some P’ and ‘some S is every P’, which are neither subaltern nor contrary, neither contradictory nor subcontrary. Walter Redmond has designed a special language L to express the logical form of these sentences in a precise way. I will use this language to show how Squares of Opposition, standard and non-standard, form a complex network of relations which bring to .. (shrink)

Resumen La cuestión del tiempo es uno de los principales objetos de estudio que ocuparon a Simone Weil. En efecto, está intensamente presente en su obra desde sus primeros textos hasta sus últimos escritos. La razón es de peso: para esta autora es a través del tiempo que accedemos a la realidad y a toda posibilidad de sentido en sta. Ahora bien, nuestra intención es mostrar que si bien es cierto que la concepción del tiempo de S. Weil, en sus (...) años de madurez, se erige desde una perspectiva espiritualista, mística y religiosa, en su primera época la filósofa se instala en una ontológica fuertemente influenciada por Kant, que la lleva a restringir lo temporal al marco de la experiencia posible, en el sentido que le da el pensador alemán.The question of time is one of the most important subjects in Simone Weil’s philosophy. Indeed, time’s issue is intensively present in her works from her earlier texts until her last writings. This can be explained by the fact that, for this author, it is through time that we can access to reality and find any sense into the latter. That being said, our goal is to show that, if certainly it can be affirmed that S. Weil’s conception of time in her maturity years is constructed from a spiritual, mystic and religious perspective, at the opposite, in her first period, the philosopher settles her views through an ontology strong influenced by Kant, which conducts her to limited temporal matters into the frame of possible experience, according to the definition of this expression given by the German thinker. (shrink)

The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety \(\mathbb{DHMSH}\) from a logical point of view. The paper presents an extensive investigation of the logic corresponding to the variety of dually hemimorphic semi-Heyting algebras and of its axiomatic extensions, along with an equally extensive universal algebraic study of their corresponding algebraic semantics. Firstly, we present a (...) Hilbert-style axiomatization of a new logic called "Dually hemimorphic semi-Heyting logic" (\(\mathcal{DHMSH}\), for short), as an expansion of semi-intuitionistic logic \(\mathcal{SI}\) (also called \(\mathcal{SH}\)) introduced by the first author by adding a weak negation (to be interpreted as a dual hemimorphism). We then prove that it is implicative in the sense of Rasiowa and that it is complete with respect to the variety \(\mathbb{DHMSH}\). It is deduced that the logic \(\mathcal{DHMSH}\) is algebraizable in the sense of Blok and Pigozzi, with the variety \(\mathbb{DHMSH}\) as its equivalent algebraic semantics and that the lattice of axiomatic extensions of \(\mathcal{DHMSH}\) is dually isomorphic to the lattice of subvarieties of \(\mathbb{DHMSH}\). A new axiomatization for Moisil's logic is also obtained. Secondly, we characterize the axiomatic extensions of \(\mathcal{DHMSH}\) in which the "Deduction Theorem" holds. Thirdly, we present several new logics, extending the logic \(\mathcal{DHMSH}\), corresponding to several important subvarieties of the variety \(\mathbb{DHMSH}\). These include logics corresponding to the varieties generated by two-element, three-element and some four-element dually quasi-De Morgan semi-Heyting algebras, as well as a new axiomatization for the 3-valued Łukasiewicz logic. Surprisingly, many of these logics turn out to be connexive logics, only a few of which are presented in this paper. Fourthly, we present axiomatizations for two infinite sequences of logics namely, De Morgan Gödel logics and dually pseudocomplemented Gödel logics. Fifthly, axiomatizations are also provided for logics corresponding to many subvarieties of regular dually quasi-De Morgan Stone semi-Heyting algebras, of regular De Morgan semi-Heyting algebras of level 1, and of JI-distributive semi-Heyting algebras of level 1. We conclude the paper with some open problems. Most of the logics considered in this paper are discriminator logics in the sense that they correspond to discriminator varieties. Some of them, just like the classical logic, are even primal in the sense that their corresponding varieties are generated by primal algebras. (shrink)

En este artículo exploramos analogías estructurales entre las esferas de la teología, la epistemología y la política desde una perspectiva dialéctica. El punto de partida es la constatación de que la «reificación» o «cosificación» de la totalidad se expresa como negación de la alteridad. En la esfera teológica, la estructura se define en términos de «inmanencia-trascendencia». En este campo, el marco inmanente puede estar cerrado en sí mismo, como ocurre con el naturalismo fisicalista que se presenta como «la totalidad (el (...) universo físico) que contiene todas las totalidades», o puede permanecer abierto a su exterioridad o trascendencia. En la esfera epistemológica, el círculo de representaciones que conforma la correlación sujeto-objeto, la relación mente-mundo, la topología interior-exterior, puede interpretarse como una totalidad primitiva e insuperable, el llamado «círculo correlacional»; o puede permanecer abierta a su trasfondo. En la esfera política, la modernidad capitalista, como totalidad histórica, puede presentarse como «fin de la historia», y expresarse como negación de sus exterioridades —las poblaciones excluidas, la naturaleza no humana, y las generaciones venideras—, o someterse al veredicto de injusticia de sus víctimas, y asumir la responsabilidad de los efectos no deseados producidos por su ceguera. Estas estructuras ponen de manifiesto una cuestión transhistórica, relativa al problema de la objetividad del mundo que emerge de nuestra condición finita. Pero también nos plantean una cuestión histórica, relativa a la autocomprensión de la modernidad, a la lógica intrínseca del orden capitalista, y a los horizontes de la era postsecular. (shrink)

The purpose of this paper is to define a new logic $${\mathcal {SI}}$$ called semi-intuitionistic logic such that the semi-Heyting algebras introduced in [ 4 ] by Sankappanavar are the semantics for $${\mathcal {SI}}$$ . Besides, the intuitionistic logic will be an axiomatic extension of $${\mathcal {SI}}$$.

Este artículo analiza jurídica y éticamente el derecho a la lactancia en la maternidad subrogada, abordando sus complejidades desde una perspectiva integral. Se destaca la necesidad de regular la maternidad subrogada a nivel federal en México, protegiendo los derechos del menor y su derecho a la lactancia materna. Se promueve una crianza afectiva y la creación de nuevas normas biojurídicas considerando la jurisdicción y los requisitos de los padres. La promoción de la lactancia materna en la maternidad subrogada se basa (...) en el beneficio ético del menor. Se resalta la importancia de una atención integral durante el puerperio y la lactancia, valorando la salud mental y garantizando una lactancia adecuada. Se recomienda cláusulas en los contratos de subrogación para extender su duración y asegurar la lactancia y el desarrollo saludable del menor. (shrink)

El objeto de este artículo es mostrar las similitudes que existen entre el estructuralismo metateórico sneedeano y la que considero es la propuesta teórica más desarrollada del estructuralismo francés, la teoría antropológica de Claude Lévi-Strauss, en particular, su teoría de los sistemas elementales de parentesco. Aunque entre el estructuralismo francés de Lévi-Strauss y el estructuralismo metateórico sneedeano sólo existe, como diría Wittgenstein, un “aire de familia”, sin embargo, quiero mostrar que gracias al trabajo algebraico de André Weil y, en particular, (...) a su clarificación de la noción de estructura, existe un “puente” entre la propuesta teórica de Lévi-Strauss y la metateórica del estructuralismo inaugurada por J. D. Sneed en 1971 con la publicación de su libro The logical structure of mathematical physics. (shrink)

El nacimiento de la filosofía de la ciencia profesional coincide con el desarrollo de la filosofía analítica y como ésta adopta el método del análisis lógico. Dicho análisis, en el caso de la filosofía de la ciencia, se circunscribe fundamentalmente a la elucidación lógica de la estructura interna de las teorías y de sus relaciones interteóricas inmediatas. Esta propuesta tuvo numerosas críticas, que llevaron a una nueva arquitectónica para la ciencia: la del estructuralismo metateórico. En ella se propone la reconstrucción (...) axiomática de las teorías haciéndose uso de la teoría de informal conjuntos y se introduce los aportes histórico-pragmáticos del historicismo en el contexto de una semántica informal. La introducción de la noción de holón teórico pretende ofrecer una visión más comprehensiva de las teorías científicas. Se busca pasar del análisis local de las teorías y de su entorno inmediato, donde se privilegia la relación lógica de deducibilidad, a una síntesis más global, que correspondería a la estructura global de las teorías. En este trabajo son examinadas las implicaciones que tal propuesta metateórica tiene para una filosofía sintética de la ciencia, cuando las teorías se examinan dentro de una macro-unidad como la del holón teórico. Para ello, son examinadas las nociones interteóricas de reducción aproximativa y de presuposición en algunas teorías científicas. El nacimiento de la filosofía de la ciencia profesional coincide con el desarrollo de la filosofía analítica y como ésta adopta el método del análisis lógico. Dicho análisis, en el caso de la filosofía de la ciencia, se circunscribe fundamentalmente a la elucidación lógica de la estructura interna de las teorías y de sus relaciones interteóricas inmediatas. Esta propuesta tuvo numerosas críticas, que llevaron a una nueva arquitectónica para la ciencia: la del estructuralismo metateórico. En ella se propone la reconstrucción axiomática de las teorías haciéndose uso de la teoría de informal conjuntos y se introduce los aportes histórico-pragmáticos del historicismo en el contexto de una semántica informal. La introducción de la noción de holón teórico pretende ofrecer una visión más comprehensiva de las teorías científicas. Se busca pasar del análisis local de las teorías y de su entorno inmediato, donde se privilegia la relación lógica de deducibilidad, a una síntesis más global, que correspondería a la estructura global de las teorías. En este trabajo son examinadas las implicaciones que tal propuesta metateórica tiene para una filosofía sintética de la ciencia, cuando las teorías se examinan dentro de una macro-unidad como la del holón teórico. Para ello, son examinadas las nociones interteóricas de reducción aproximativa y de presuposición en algunas teorías científicas. (shrink)

In the sixteenth and seventeenth centuries, members of the Salamanca School engaged in a sustained and sophisticated discussion of the issue of just prices. This article uses their contribution as a point of departure for a consideration of justice in pricing which will be relevant to current-day circumstances. The key theses of members of this school were that fairness of exchanges should be assessed objectively, that the fair price of an article is one equal to its ‘value’, and that the (...) best indicator of that value is the price that article commonly fetches in an open market. This article tries to bring to light the attractiveness of those views in order to guide current practice by contrasting them with alternative views, showing their connection with intuitively attractive basic standards, and linking them to commonly shared intuitions. (shrink)

There is a widely extended image of computer software as some sort of ‘black box,’ where it does not matter how it internally works, but rather what sort of results are obtained given certain input values. By approaching computer software this way, many philosophical issues are hidden, neglected, or simply misunderstood. This article discusses three units of analysis of computer software, namely, specifications, algorithms, and computer processes. The aim is to understand the scientific and engineering practices supporting each unit of (...) analysis, as well as to analyze their methodology, ontology, and epistemology. (shrink)

En la última década se observa una recurrente rehabilitación de la filosofía de Gilbert Simondon para pensar el sentido y los desafíos de las tecnologías digitales para las sociales contemporáneas. En este marco, teniendo como eje las efectuaciones de la noción simondoniana de lo transindividual y la caracterización de las tecnologías digitales (Web 2.0, Big data y machine learning), el artículo reconstruye el campo problemático que establecen un conjunto de lecturas entre 2012 y 2016, particulariza sus operaciones teóricas y pondera (...) sus distintas estrategias. En este sentido, tras introducir el debate entre Bernard Stiegler y Muriel Combes en la década de 1990, se analizan las interpretaciones de Mark Hansen, Antoinette Rouvroy y Thomas Berns, Stiegler y Simon Mills. (shrink)

This chapter offers some insight into Spinoza's understanding of the concept of potentia. As is well known amongst scholars, the concept of potentia is fundamental for Spinoza. From ontology, to ethics and politics, the concept of potentia seems to embody the unity of Spinoza's thought. Unlike E1p9, Spinoza focuses on the independence or in the per se nature of the intelligibility of each attribute. The demonstration of the proposition recalls both the definition of the attribute and the definition of substance (...) as explanations. Having more reality, Spinoza states, means having more powers or strength, that is, more potentia to exist. The chapter shows that Spinoza's radical ontology of power emerges in the propositions preparing the consideration of God's necessary existence, namely E1p9–10. (shrink)

Este artículo analiza el sentido que el concepto de mundo circundante (Umwelt) asume en Jakob von Uexküll, examina las distintas formulaciones que presenta en el desarrollo de su obra, y destaca las sucesivas redefiniciones que afectan a sus dos componentes: el mundo perceptible (Merkwelt) y el mundo de efectos (Wirkungswelt, Wirkwelt). Teniendo en cuenta el significativo impacto que el concepto de Umwelt tuvo en la filosofía continental, el propósito del estudio es reconstruir su sentido en función de las fuentes primarias (...) y, a través de un análisis histórico-conceptual, iluminar aspectos que no suelen ser tematizados en la literatura –en particular, aquellos relativos al mundo de efectos–. (shrink)

The determination of environmental impact constitutes a key step for the preservation of the environment and environmental control of the human activities. However, this tool is constituted ideologically by criteria of rationality of present post-industrial western society. This set of criteria (int..

After arguing that Hume’s judgment on metaphysics is more nuanced than it is usually believed, the relationship between the theory of meaning and the concept, or rather the problem, of “human nature” is analysed in order to underline the relevance of human nature to the explanation of the genesis of meaning and to the extent of the principle of copy, so as to finally examine the relation between meaning and theological discourse.

Enhancement-line human genetic engineering has recurrently been targeted for bioethical discussion and is usually illustrated by examples alluding to a genetic technology that is far beyond our current possibilities. By discussing an ambitious project related to solid tumor cancers – multidrug resistance – the present paper places the question on a more realistic plane and draws bioethical conclusions to serve as guidelines in the field. The paper also establishes the inadequacy of the prevalent concept of genetic medicine as one of (...) substitution. (shrink)

During the course of its short history the discipline concerned with the origin of life has given birth to several scientific programmes in the Lakatosian sense, two of the most prominent and widespread being those initiated by Oparin (life began from protein entities) and Muller-Haldane (life began from genetic entities). The present paper sets down the bases for the rational reconstruction of both views by identifying their hard core and some of their successive developments. An assessment is made of the (...) various stages in the evolution of these programmes with respect to the crucial Lakatosian notions of progressivity and regressivity and of how their arguments stand up against one another. This epistemological analysis also establishes the internal reasons why the RNA version of the genotype programme (developed in particular by L. Orgel and S. Spiegelman) has today taken on a progressive character and enjoys recognition by the international scientific community. (shrink)

The main concern of this article is Weber's antagonism with respect to materialism and the distance or affinity between Marx's and Weber's standpoints. It focuses on two interconnected issues: the social and political role of religion and the emergence of modern capitalism. These two points are justified because of their strategic importance and because, with them, Weber's distance with respect to materialism apparently reaches its zenith. Through them, this text attempts to expose the main features of the controversy between Marxism (...) and Weberianism, evaluating the alternatives on the matter offered by different perspectives. Key Words: capitalism • Karl Marx • materialism • Protestant ethic • rationalism • religion • Max Weber. (shrink)

En este artículo el profesor Manuel Ángel Martínez expone los temas más importantes de la reflexión teológica de Antonio Royo Marín. Se centra especialmente en una de sus obras más importantes La Teología de la Perfección. Royo Marín ha sido un predicador infatigable. Muestra de ello son los numerosos escritos que dejó y su amplia divulgación entre muchos fieles cristianos. Varios grupos, repartidos en diversos lugares del mundo, siguen nutriéndose de su teología. La profundidad con la que están escritos (...) y la claridad de su exposición permiten a muchos lectores un acercamiento a la espiritualidad cristiana y a sus fuentes. Los Santos Padres de los primeros siglos del cristianismo, Santo Tomás, Santa Teresa de Jesús, San Juan de la Cruz, Santa Teresa de Lisieux, Santa Catalina de Siena, Juan González Arintero, entre otros, inspiraron la reflexión teológica de Royo Marín.El 17 de abril se cumplirán cinco años de su fallecimiento. Con este motivo y respondiendo a las numerosas demandas que nos han llegado, ofrecemos a todos los lectores la magnífica descripción que de su teología ha escrito en Ciencia Tomista el profesor Manuel Ángel Martínez Juan. (shrink)

Presentamos algunas ideas de autores medievales acerca de las oraciones cuyo sujeto carece de referente, y si dichas oraciones. Los autores tratados son nominalistas del siglo xiv: Guillermo de Ockham, Alberto de Sajonia y Juan Buridan; y el realista moderado Vicente Ferrer. Luego abordamos a dos novohispanos, Alonso de la Veracruz y Tomás de Mercado, que están inmersos en la tradición medieval.

En este trabajo se pretende abordar la historia del arte según Arthur Danto, partiremos de la distinción entre los tres distintos periodos históricos que postula, el primero de ellos lo ubicaré bajo el nombre del Periodo Prehistórico del arte, el segundo como el Periodo Histórico y finalmente el periodo Posthistórico. Cada uno será explicado de manera tal que no exista ambigüedad entre ellos, todo esto con la finalidad de esclarecer aún más la concepción que tiene Danto sobre la historia del (...) arte y poder abordar en el tercer capítulo lo que nos atañe con respecto a su tesis sobre el fin del arte. Se podrá realizar un contraste entre lo propuesto por Shinner frente Danto y resaltar la pertinencia del segundo autor partiendo del periodo Posthistórico como el que define lo acontecido en el arte contemporáneo y el fin del arte. Shinner es capaz de tejer históricamente lo que acontece con el concepto arte y sus problemáticas hasta su configuración moderna de bellas artes, después, continúa relatando sin añadir la problemática con respecto a las producciones del siglo XIX y XX, sólo nos dice que cambian las producciones, más no que el concepto lo hace con ellas. Por lo tanto, se ve la necesidad de explicar el cambio en el concepto, recurriendo a la crítica de Danto y la propuesta de un nuevo concepto capaz de incluir en su definición todo lo es una obra de arte y lo que esté en posibilidad de ser una. Lo que está en posibilidad habita en el reino prehistórico y posthistórico del arte. (shrink)